Issue274.agda:5,1-8,19
U is not strictly positive, because it occurs
to the left of an arrow
in the definition of U.
